41. Automata, languages, and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : Proceedings
پدیدآورنده: Thomas Ottmann, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Cogresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
267
42. Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings
پدیدآورنده: J. Leach Albvert, B. Monien, M. Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
510
43. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
رده :
QA
267
.
A9228
1991
44. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده: edited by Laurent kott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
45. Automata, languages and programming : 13th International Colloquium ,Rennes, France, July 15-19, 1986 : Proceedings
پدیدآورنده: edited by Laurent Kott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
226
46. Automata, languages, and programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings
پدیدآورنده: G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
372
47. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
پدیدآورنده: Timo Lepisto, Arto Salomaa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
317
48. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
I55
1985
49. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
پدیدآورنده: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2076
50. Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodriguez Artalejo )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
I5
1991
51. Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
پدیدآورنده: W. Kuich )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
623
52. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
33
53. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf of GI
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A924
54. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf of GI
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
33
55. Case-based reasoning research and development :
پدیدآورنده: Michael T. Cox, Peter Funk, Shahina Begum (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Case-based reasoning, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Appl. in Administrative Data Processing.,Information Storage and Retrieval.,Mathematical Logic and Formal Languages.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Case-based reasoning.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q338
.
8
56. Communicating process architectures 2009 :
پدیدآورنده: edited by Peter H. Welch [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
57. Computational linguistics and intelligent text processing
پدیدآورنده: / Alexander Gelbukh (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
58. Computer science logic :
پدیدآورنده: Hans Kleine Büning (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
59. Computer science -- theory and applications :
پدیدآورنده: René van Bevern, Gregory Kucherov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
رده :
QA75
.
5
60. Conceptual modeling :
پدیدآورنده: Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
رده :
QA76
.
9
.
D26
